• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文OA文献 >Reverse Engineering from Assembler to Formal Specifications via Program Transformations
【2h】

Reverse Engineering from Assembler to Formal Specifications via Program Transformations

机译：通过程序从汇编程序到正式规范的逆向工程   转换

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The FermaT transformation system, based on research carried out over the lastsixteen years at Durham University, De Montfort University and SoftwareMigrations Ltd., is an industrial-strength formal transformation engine withmany applications in program comprehension and language migration. This paperis a case study which uses automated plus manually-directed transformations andabstractions to convert an IBM 370 Assembler code program into a veryhigh-level abstract specification.
机译：FermaT转换系统是基于杜伦大学，德蒙福特大学和SoftwareMigrations Ltd.在过去16年中进行的研究而得出的，它是一种工业级的正式转换引擎，在程序理解和语言迁移中具有许多应用。本文是一个案例研究，它使用自动加手动控制的转换和抽象将IBM 370汇编程序代码程序转换为非常高级的抽象规范。

著录项

  • 作者

    Ward, M. P.;

  • 作者单位
  • 年度 2001
  • 总页数
  • 原文格式 PDF
  • 正文语种 {"code":"en","name":"English","id":9}
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利
代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号